The user of the type has to make an explicit judgment when using the
assignment operator. Either a Path and then pay the cost of the path
expansion or an absolute which is already assured to be _ok_.
This divides the domain in two, one unchecked and one checked.
The path is guaranteed to be the absolute path.
The user of the type has to make an explicit judgment when using the assignment operator. Either a Path and then pay the cost of the path expansion or an absolute which is already assured to be _ok_. This divides the domain in two, one unchecked and one checked.